Theoretical use of knowledge

	Consider a universal sentence representing an axiom.
One way of using it is to substitute a constant for the quantified
variable.  Most AI systems use quantified knowledge in this
way.  However, it is also possible to use the general knowledge
to reach general conclusions.

	For example, consider the statement that a container is sterile if
all the bacteria in it are dead.  This fact might be used to rationalize
sterilizing a container by killing the bacteria one by one or testing for
sterility by examining the bacteria one at a time.  However, the fact is
actually used to justify sterilization by heating the container as a
whole, thus killing all the bacteria.  Clearly humans use some kinds of
knowledge theoretically, and computers will also have to do it.  It isn't
clear what are the most common theoretical uses of knowledge.